#ifndef _KRLMEM_H_
#define _KRLMEM_H_

#include <krlmem_t.h>

void krl_mem_init (void);
addr_t krl_mem_new (size_t newsz);
bool_t krl_mem_delete (addr_t deladdr, size_t delsz);

#endif
